relation that is symmetric and transitive but not reflexive